ePMC

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 15
Property:live (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files rabin.15.prism --model-input-type prism --property-input-files rabin.15.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 5015 5015
build-model-states-explored 11777 6762
build-model-states-explored 18702 6925
build-model-states-explored 25066 6364
build-model-states-explored 31984 6918
build-model-states-explored 39822 7838
build-model-states-explored 47522 7700
build-model-states-explored 52723 5201
build-model-states-explored 60248 7525
build-model-states-explored 68227 7979
build-model-states-explored 75766 7539
build-model-states-explored 83479 7713
build-model-states-explored 90773 7294
build-model-states-explored 98528 7755
build-model-states-explored 106272 7744
build-model-states-explored 108931 2659
build-model-states-explored 116695 7764
build-model-states-explored 124321 7626
build-model-states-explored 131558 7237
build-model-states-explored 138814 7256
build-model-states-explored 146062 7248
build-model-states-explored 153284 7222
build-model-states-explored 161077 7793
build-model-states-explored 169084 8007
build-model-states-explored 177145 8061
build-model-states-explored 184533 7388
build-model-states-explored 192828 8295
build-model-states-explored 200939 8111
build-model-states-explored 209140 8201
build-model-states-explored 217393 8253
build-model-states-explored 223509 6116
build-model-states-explored 223509 0
build-model-states-explored 231563 8054
build-model-states-explored 239174 7611
build-model-states-explored 246420 7246
build-model-states-explored 253612 7192
build-model-states-explored 260931 7319
build-model-states-explored 269032 8101
build-model-states-explored 277393 8361
build-model-states-explored 285542 8149
build-model-states-explored 293751 8209
build-model-states-explored 302031 8280
build-model-states-explored 310479 8448
build-model-states-explored 318951 8472
build-model-states-explored 326062 7111
build-model-states-explored 333054 6992
build-model-states-explored 340023 6969
build-model-states-explored 348066 8043
build-model-states-explored 356162 8096
build-model-states-explored 364308 8146
build-model-states-explored 372578 8270
build-model-states-explored 379327 6749
build-model-states-explored 386976 7649
build-model-states-explored 394173 7197
build-model-states-explored 401848 7675
build-model-states-explored 410168 8320
build-model-states-explored 418633 8465
build-model-states-explored 427122 8489
build-model-states-explored 434216 7094
build-model-states-explored 441526 7310
build-model-states-explored 449808 8282
build-model-states-explored 458288 8480
build-model-states-explored 461364 3076
build-model-states-explored 461364 0
build-model-states-explored 461364 0
build-model-states-explored 468112 6748
build-model-states-explored 476276 8164
build-model-states-explored 484252 7976
build-model-states-explored 491612 7360
build-model-states-explored 499544 7932
build-model-states-explored 507300 7756
build-model-states-explored 514568 7268
build-model-states-explored 521550 6982
build-model-states-explored 528760 7210
build-model-states-explored 536123 7363
build-model-states-explored 543419 7296
build-model-states-explored 550657 7238
build-model-states-explored 557983 7326
build-model-states-explored 565199 7216
build-model-states-explored 572510 7311
build-model-states-explored 579667 7157
build-model-states-explored 586980 7313
build-model-states-explored 594222 7242
build-model-states-explored 601372 7150
build-model-states-explored 608697 7325
build-model-states-explored 615880 7183
build-model-states-explored 623174 7294
build-model-states-explored 630291 7117
build-model-states-explored 637574 7283
build-model-states-explored 644751 7177
build-model-states-explored 651890 7139
build-model-states-explored 659141 7251
build-model-states-explored 665648 6507
build-model-states-explored 673071 7423
build-model-states-explored 680412 7340
build-model-states-explored 687787 7376
build-model-states-explored 695307 7520
build-model-states-explored 703543 8236
build-model-states-explored 712127 8584
build-model-states-explored 720356 8229
build-model-states-explored 728795 8439
build-model-states-explored 737339 8544
build-model-states-explored 745779 8440
build-model-states-explored 754492 8713
build-model-states-explored 762713 8221
build-model-states-explored 770005 7292
build-model-states-explored 774453 4448
build-model-states-explored 782050 7597
build-model-states-explored 790266 8216
build-model-states-explored 799070 8804
build-model-states-explored 807698 8628
build-model-states-explored 816514 8816
build-model-states-explored 825220 8706
build-model-states-explored 833983 8763
build-model-states-explored 841606 7623
build-model-states-explored 849239 7633
build-model-states-explored 857498 8259
build-model-states-explored 866187 8689
build-model-states-explored 875116 8929
build-model-states-explored 883995 8879
build-model-states-explored 891712 7717
build-model-states-explored 899219 7507
build-model-states-explored 907823 8604
build-model-states-explored 916652 8829
build-model-states-explored 925156 8504
build-model-states-explored 932584 7428
build-model-states-explored 941068 8484
build-model-states-explored 941075 7
build-model-states-explored 941075 0
build-model-states-explored 941075 0
build-model-states-explored 941075 0
build-model-states-explored 941075 0
build-model-states-explored 947515 6440
build-model-states-explored 955212 7697
build-model-states-explored 963511 8299
build-model-states-explored 971580 8068
build-model-states-explored 979940 8361
build-model-states-explored 987762 7822
build-model-states-explored 995312 7550
build-model-states-explored 1002480 7168
build-model-states-explored 1009794 7314
build-model-states-explored 1016960 7166
build-model-states-explored 1024213 7253
build-model-states-explored 1031391 7178
build-model-states-explored 1038554 7163
build-model-states-explored 1045772 7218
build-model-states-explored 1052893 7121
build-model-states-explored 1060094 7201
build-model-states-explored 1067189 7095
build-model-states-explored 1074534 7345
build-model-states-explored 1081745 7211
build-model-states-explored 1088968 7223
build-model-states-explored 1096123 7155
build-model-states-explored 1103374 7251
build-model-states-explored 1110812 7438
build-model-states-explored 1118329 7517
build-model-states-explored 1125872 7543
build-model-states-explored 1134010 8138
build-model-states-explored 1142778 8768
build-model-states-explored 1151299 8521
build-model-states-explored 1160001 8702
build-model-states-explored 1168811 8810
build-model-states-explored 1177689 8878
build-model-states-explored 1185302 7613
build-model-states-explored 1192895 7593
build-model-states-explored 1201062 8166
build-model-states-explored 1209755 8694
build-model-states-explored 1218578 8823
build-model-states-explored 1227574 8996
build-model-states-explored 1235329 7755
build-model-states-explored 1242789 7460
build-model-states-explored 1251363 8574
build-model-states-explored 1260093 8730
build-model-states-explored 1268755 8662
build-model-states-explored 1276161 7406
build-model-states-explored 1284570 8409
build-model-states-explored 1293447 8877
build-model-states-explored 1300895 7448
build-model-states-explored 1309600 8704
build-model-states-explored 1317359 7760
build-model-states-explored 1325718 8359
build-model-states-explored 1333543 7825
build-model-states-explored 1341124 7581
build-model-states-explored 1348255 7131
build-model-states-explored 1355323 7068
build-model-states-explored 1361276 5953
build-model-states-explored 1368390 7114
build-model-states-explored 1375456 7066
build-model-states-explored 1382507 7051
build-model-states-explored 1389594 7087
build-model-states-explored 1396623 7029
build-model-states-explored 1403636 7013
build-model-states-explored 1410747 7111
build-model-states-explored 1417806 7059
build-model-states-explored 1425008 7202
build-model-states-explored 1432524 7516
build-model-states-explored 1440026 7502
build-model-states-explored 1448325 8299
build-model-states-explored 1456864 8539
build-model-states-explored 1465548 8684
build-model-states-explored 1474409 8861
build-model-states-explored 1481705 7296
build-model-states-explored 1489113 7408
build-model-states-explored 1497548 8435
build-model-states-explored 1506284 8736
build-model-states-explored 1514529 8245
build-model-states-explored 1521784 7255
build-model-states-explored 1530082 8298
build-model-states-explored 1538734 8652
build-model-states-explored 1545972 7238
build-model-states-explored 1554524 8552
build-model-states-explored 1562108 7584
build-model-states-explored 1570310 8202
build-model-states-explored 1577967 7657
build-model-states-explored 1585233 7266
build-model-states-explored 1592206 6973
build-model-states-explored 1599258 7052
build-model-states-explored 1606312 7054
build-model-states-explored 1613328 7016
build-model-states-explored 1619356 6028
build-model-states-explored 1621804 2448
build-model-states-explored 1629034 7230
build-model-states-explored 1636280 7246
build-model-states-explored 1643531 7251
build-model-states-explored 1650921 7390
build-model-states-explored 1658410 7489
build-model-states-explored 1666974 8564
build-model-states-explored 1675713 8739
build-model-states-explored 1684377 8664
build-model-states-explored 1691785 7408
build-model-states-explored 1700180 8395
build-model-states-explored 1709117 8937
build-model-states-explored 1716533 7416
build-model-states-explored 1725286 8753
build-model-states-explored 1733015 7729
build-model-states-explored 1741385 8370
build-model-states-explored 1749212 7827
build-model-states-explored 1756796 7584
build-model-states-explored 1763871 7075
build-model-states-explored 1771022 7151
build-model-states-explored 1778127 7105
build-model-states-explored 1785258 7131
build-model-states-explored 1792347 7089
build-model-states-explored 1799332 6985
build-model-states-explored 1806523 7191
build-model-states-explored 1814629 8106
build-model-states-explored 1823399 8770
build-model-states-explored 1830945 7546
build-model-states-explored 1839287 8342
build-model-states-explored 1847310 8023
build-model-states-explored 1855657 8347
build-model-states-explored 1863461 7804
build-model-states-explored 1870981 7520
build-model-states-explored 1878108 7127
build-model-states-explored 1885213 7105
build-model-states-explored 1892329 7116
build-model-states-explored 1899448 7119
build-model-states-explored 1899571 123
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1899571 0
build-model-states-explored 1902595 3024
build-model-states-explored 1909935 7340
build-model-states-explored 1918684 8749
build-model-states-explored 1926265 7581
build-model-states-explored 1934456 8191
build-model-states-explored 1942205 7749
build-model-states-explored 1949652 7447
build-model-states-explored 1956822 7170
build-model-states-explored 1963975 7153
build-model-states-explored 1971186 7211
build-model-states-explored 1979437 8251
build-model-states-explored 1987270 7833
build-model-states-explored 1994870 7600
build-model-states-explored 2002040 7170
build-model-states-explored 2009271 7231
build-model-states-explored 2017078 7807
build-model-states-explored 2024593 7515
build-model-states-explored 2031814 7221
build-model-states-explored 2039248 7434
build-model-states-explored 2046526 7278
build-model-states-explored 2053785 7259
build-model-states-explored 2061231 7446
build-model-states-explored 2068647 7416
build-model-states-explored 2075953 7306
build-model-states-explored 2083304 7351
build-model-states-explored 2090822 7518
build-model-states-explored 2098032 7210
build-model-states-explored 2105612 7580
build-model-states-explored 2113396 7784
build-model-states-explored 2120863 7467
build-model-states-explored 2128625 7762
build-model-states-explored 2136248 7623
build-model-states-explored 2143945 7697
build-model-states-explored 2151619 7674
build-model-states-explored 2159202 7583
build-model-states-explored 2166954 7752
build-model-states-explored 2174320 7366
build-model-states-explored 2182011 7691
build-model-states-explored 2189849 7838
build-model-states-explored 2197236 7387
build-model-states-explored 2205025 7789
build-model-states-explored 2212581 7556
build-model-states-explored 2220169 7588
build-model-states-explored 2227832 7663
build-model-states-explored 2235497 7665
build-model-states-explored 2243268 7771
build-model-states-explored 2250439 7171
build-model-states-explored 2258286 7847
build-model-states-explored 2265948 7662
build-model-states-explored 2273443 7495
build-model-states-explored 2275932 2489
build-model-states-explored 2284125 8193
build-model-states-explored 2292848 8723
build-model-states-explored 2301446 8598
build-model-states-explored 2310057 8611
build-model-states-explored 2318793 8736
build-model-states-explored 2327089 8296
build-model-states-explored 2335828 8739
build-model-states-explored 2344291 8463
build-model-states-explored 2353055 8764
build-model-states-explored 2361595 8540
build-model-states-explored 2370187 8592
build-model-states-explored 2378774 8587
build-model-states-explored 2387408 8634
build-model-states-explored 2395966 8558
build-model-states-explored 2404430 8464
build-model-states-explored 2413205 8775
build-model-states-explored 2421489 8284
build-model-states-explored 2430071 8582
build-model-states-explored 2438598 8527
build-model-states-explored 2447153 8555
build-model-states-explored 2455790 8637
build-model-states-explored 2464354 8564
build-model-states-explored 2472671 8317
build-model-states-explored 2481358 8687
build-model-states-explored 2490041 8683
build-model-states-explored 2498506 8465
build-model-states-explored 2507038 8532
build-model-states-explored 2515756 8718
build-model-states-explored 2524271 8515
build-model-states-explored 2532708 8437
build-model-states-explored 2541364 8656
build-model-states-explored 2549502 8138
build-model-states-explored 2558251 8749
build-model-states-explored 2566665 8414
build-model-states-explored 2575296 8631
build-model-states-explored 2583793 8497
build-model-states-explored 2592321 8528
build-model-states-explored 2600819 8498
build-model-states-explored 2609397 8578
build-model-states-explored 2617936 8539
build-model-states-explored 2626138 8202
build-model-states-explored 2634813 8675
build-model-states-explored 2643126 8313
build-model-states-explored 2651778 8652
build-model-states-explored 2660212 8434
build-model-states-explored 2668672 8460
build-model-states-explored 2677165 8493
build-model-states-explored 2685680 8515
build-model-states-explored 2694142 8462
build-model-states-explored 2702516 8374
build-model-states-explored 2711002 8486
build-model-states-explored 2719503 8501
build-model-states-explored 2725748 6245
build-model-states-explored 2734295 8547
build-model-states-explored 2742830 8535
build-model-states-explored 2751423 8593
build-model-states-explored 2759896 8473
build-model-states-explored 2768378 8482
build-model-states-explored 2776825 8447
build-model-states-explored 2785334 8509
build-model-states-explored 2793859 8525
build-model-states-explored 2802314 8455
build-model-states-explored 2810810 8496
build-model-states-explored 2819254 8444
build-model-states-explored 2827944 8690
build-model-states-explored 2836611 8667
build-model-states-explored 2845326 8715
build-model-states-explored 2854965 9639
build-model-states-explored 2864888 9923
build-model-states-explored 2874870 9982
build-model-states-explored 2884854 9984
build-model-states-explored 2895178 10324
build-model-states-explored 2904765 9587
build-model-states-explored 2913638 8873
build-model-states-explored 2922557 8919
build-model-states-explored 2932474 9917
build-model-states-explored 2942520 10046
build-model-states-explored 2952640 10120
build-model-states-explored 2962564 9924
build-model-states-explored 2971208 8644
build-model-states-explored 2980161 8953
build-model-states-explored 2990228 10067
build-model-states-explored 3000496 10268
build-model-states-explored 3009613 9117
build-model-states-explored 3018467 8854
build-model-states-explored 3028649 10182
build-model-states-explored 3038084 9435
build-model-states-explored 3047310 9226
build-model-states-explored 3057104 9794
build-model-states-explored 3066480 9376
build-model-states-explored 3075693 9213
build-model-states-explored 3084634 8941
build-model-states-explored 3092991 8357
build-model-states-explored 3101308 8317
build-model-states-explored 3109729 8421
build-model-states-explored 3118085 8356
build-model-states-explored 3126357 8272
build-model-states-explored 3134675 8318
build-model-states-explored 3143005 8330
build-model-states-explored 3151251 8246
build-model-states-explored 3159465 8214
build-model-states-explored 3167800 8335
build-model-states-explored 3176098 8298
build-model-states-explored 3184371 8273
build-model-states-explored 3193018 8647
build-model-states-explored 3201719 8701
build-model-states-explored 3210699 8980
build-model-states-explored 3220469 9770
build-model-states-explored 3230334 9865
build-model-states-explored 3240498 10164
build-model-states-explored 3249619 9121
build-model-states-explored 3258059 8440
build-model-states-explored 3259592 1533
build-model-states-explored 3268528 8936
build-model-states-explored 3278920 10392
build-model-states-explored 3289283 10363
build-model-states-explored 3298161 8878
build-model-states-explored 3308036 9875
build-model-states-explored 3318551 10515
build-model-states-explored 3327330 8779
build-model-states-explored 3337735 10405
build-model-states-explored 3346883 9148
build-model-states-explored 3356691 9808
build-model-states-explored 3366085 9394
build-model-states-explored 3375038 8953
build-model-states-explored 3383619 8581
build-model-states-explored 3392392 8773
build-model-states-explored 3401168 8776
build-model-states-explored 3409894 8726
build-model-states-explored 3418523 8629
build-model-states-explored 3427258 8735
build-model-states-explored 3436013 8755
build-model-states-explored 3444748 8735
build-model-states-explored 3453565 8817
build-model-states-explored 3462554 8989
build-model-states-explored 3472673 10119
build-model-states-explored 3483117 10444
build-model-states-explored 3492658 9541
build-model-states-explored 3501549 8891
build-model-states-explored 3511881 10332
build-model-states-explored 3521604 9723
build-model-states-explored 3530807 9203
build-model-states-explored 3540918 10111
build-model-states-explored 3550324 9406
build-model-states-explored 3559822 9498
build-model-states-explored 3568974 9152
build-model-states-explored 3577561 8587
build-model-states-explored 3586234 8673
build-model-states-explored 3594907 8673
build-model-states-explored 3603555 8648
build-model-states-explored 3612203 8648
build-model-states-explored 3620755 8552
build-model-states-explored 3629134 8379
build-model-states-explored 3637898 8764
build-model-states-explored 3648091 10193
build-model-states-explored 3657903 9812
build-model-states-explored 3666855 8952
build-model-states-explored 3677109 10254
build-model-states-explored 3686325 9216
build-model-states-explored 3695606 9281
build-model-states-explored 3704938 9332
build-model-states-explored 3713553 8615
build-model-states-explored 3722217 8664
build-model-states-explored 3730884 8667
build-model-states-explored 3739541 8657
build-model-states-explored 3748226 8685
build-model-states-explored 3756921 8695
build-model-states-explored 3767185 10264
build-model-states-explored 3776102 8917
build-model-states-explored 3785732 9630
build-model-states-explored 3794913 9181
build-model-states-explored 3803763 8850
build-model-states-explored 3812478 8715
build-model-states-explored 3821260 8782
build-model-states-explored 3830028 8768
build-model-states-explored 3839564 9536
build-model-states-explored 3848782 9218
build-model-states-explored 3857867 9085
build-model-states-explored 3866614 8747
build-model-states-explored 3875597 8983
build-model-states-explored 3884484 8887
build-model-states-explored 3893771 9287
build-model-states-explored 3902594 8823
build-model-states-explored 3910868 8274
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3910868 0
build-model-states-explored 3911374 506
build-model-states-explored 3920203 8829
build-model-states-explored 3929161 8958
build-model-states-explored 3938176 9015
build-model-states-explored 3947192 9016
build-model-states-explored 3955337 8145
build-model-states-explored 3963769 8432
build-model-states-explored 3971809 8040
build-model-states-explored 3980364 8555
build-model-states-explored 3988765 8401
build-model-states-explored 3997179 8414
build-model-states-explored 4005636 8457
build-model-states-explored 4014148 8512
build-model-states-explored 4022626 8478
build-model-states-explored 4030958 8332
build-model-states-explored 4039439 8481
build-model-states-explored 4048006 8567
build-model-states-explored 4056456 8450
build-model-states-explored 4064896 8440
build-model-states-explored 4073532 8636
build-model-states-explored 4081652 8120
build-model-states-explored 4090062 8410
build-model-states-explored 4098267 8205
build-model-states-explored 4106669 8402
build-model-states-explored 4115054 8385
build-model-states-explored 4123495 8441
build-model-states-explored 4131986 8491
build-model-states-explored 4140281 8295
build-model-states-explored 4148738 8457
build-model-states-explored 4157329 8591
build-model-states-explored 4165689 8360
build-model-states-explored 4174039 8350
build-model-states-explored 4182617 8578
build-model-states-explored 4190829 8212
build-model-states-explored 4199193 8364
build-model-states-explored 4207547 8354
build-model-states-explored 4215923 8376
build-model-states-explored 4224315 8392
build-model-states-explored 4232749 8434
build-model-states-explored 4241168 8419
build-model-states-explored 4249455 8287
build-model-states-explored 4257876 8421
build-model-states-explored 4266470 8594
build-model-states-explored 4274803 8333
build-model-states-explored 4283008 8205
build-model-states-explored 4291528 8520
build-model-states-explored 4299715 8187
build-model-states-explored 4308215 8500
build-model-states-explored 4316579 8364
build-model-states-explored 4324955 8376
build-model-states-explored 4333347 8392
build-model-states-explored 4341825 8478
build-model-states-explored 4350223 8398
build-model-states-explored 4358524 8301
build-model-states-explored 4366928 8404
build-model-states-explored 4375489 8561
build-model-states-explored 4383866 8377
build-model-states-explored 4392150 8284
build-model-states-explored 4400695 8545
build-model-states-explored 4409037 8342
build-model-states-explored 4417561 8524
build-model-states-explored 4426132 8571
build-model-states-explored 4434729 8597
build-model-states-explored 4443279 8550
build-model-states-explored 4451794 8515
build-model-states-explored 4460359 8565
build-model-states-explored 4468902 8543
build-model-states-explored 4477441 8539
build-model-states-explored 4485972 8531
build-model-states-explored 4494550 8578
build-model-states-explored 4503283 8733
build-model-states-explored 4512279 8996
build-model-states-explored 4521375 9096
build-model-states-explored 4531477 10102
build-model-states-explored 4541466 9989
build-model-states-explored 4551873 10407
build-model-states-explored 4561605 9732
build-model-states-explored 4570363 8758
build-model-states-explored 4579619 9256
build-model-states-explored 4589920 10301
build-model-states-explored 4600203 10283
build-model-states-explored 4609113 8910
build-model-states-explored 4618344 9231
build-model-states-explored 4628670 10326
build-model-states-explored 4637835 9165
build-model-states-explored 4647452 9617
build-model-states-explored 4657049 9597
build-model-states-explored 4666908 9859
build-model-states-explored 4676084 9176
build-model-states-explored 4684942 8858
build-model-states-explored 4693366 8424
build-model-states-explored 4702144 8778
build-model-states-explored 4710893 8749
build-model-states-explored 4719623 8730
build-model-states-explored 4728357 8734
build-model-states-explored 4737135 8778
build-model-states-explored 4745890 8755
build-model-states-explored 4754632 8742
build-model-states-explored 4763378 8746
build-model-states-explored 4772161 8783
build-model-states-explored 4781700 9539
build-model-states-explored 4791928 10228
build-model-states-explored 4802172 10244
build-model-states-explored 4810802 8630
build-model-states-explored 4820442 9640
build-model-states-explored 4830636 10194
build-model-states-explored 4839476 8840
build-model-states-explored 4849425 9949
build-model-states-explored 4858650 9225
build-model-states-explored 4868409 9759
build-model-states-explored 4877607 9198
build-model-states-explored 4886522 8915
build-model-states-explored 4894926 8404
build-model-states-explored 4903506 8580
build-model-states-explored 4912120 8614
build-model-states-explored 4920722 8602
build-model-states-explored 4929245 8523
build-model-states-explored 4937814 8569
build-model-states-explored 4946431 8617
build-model-states-explored 4955614 9183
build-model-states-explored 4965874 10260
build-model-states-explored 4974975 9101
build-model-states-explored 4984540 9565
build-model-states-explored 4994096 9556
build-model-states-explored 5003887 9791
build-model-states-explored 5013044 9157
build-model-states-explored 5021807 8763
build-model-states-explored 5030313 8506
build-model-states-explored 5038906 8593
build-model-states-explored 5047507 8601
build-model-states-explored 5056108 8601
build-model-states-explored 5064708 8600
build-model-states-explored 5073769 9061
build-model-states-explored 5083618 9849
build-model-states-explored 5092862 9244
build-model-states-explored 5102082 9220
build-model-states-explored 5111086 9004
build-model-states-explored 5119624 8538
build-model-states-explored 5128354 8730
build-model-states-explored 5137087 8733
build-model-states-explored 5145740 8653
build-model-states-explored 5155457 9717
build-model-states-explored 5164568 9111
build-model-states-explored 5173388 8820
build-model-states-explored 5182159 8771
build-model-states-explored 5191147 8988
build-model-states-explored 5200280 9133
build-model-states-explored 5209182 8902
build-model-states-explored 5218023 8841
build-model-states-explored 5227000 8977
build-model-states-explored 5235811 8811
build-model-states-explored 5244790 8979
build-model-states-explored 5254077 9287
build-model-states-explored 5262496 8419
build-model-states-explored 5270629 8133
build-model-states-explored 5278687 8058
build-model-states-explored 5287083 8396
build-model-states-explored 5295312 8229
build-model-states-explored 5303519 8207
build-model-states-explored 5311975 8456
build-model-states-explored 5320140 8165
build-model-states-explored 5328343 8203
build-model-states-explored 5336615 8272
build-model-states-explored 5345004 8389
build-model-states-explored 5353367 8363
build-model-states-explored 5361523 8156
build-model-states-explored 5369751 8228
build-model-states-explored 5377986 8235
build-model-states-explored 5386327 8341
build-model-states-explored 5394602 8275
build-model-states-explored 5402837 8235
build-model-states-explored 5411034 8197
build-model-states-explored 5412791 1757
build-model-states-explored 5419126 6335
build-model-states-explored 5425828 6702
build-model-states-explored 5432597 6769
build-model-states-explored 5439117 6520
build-model-states-explored 5445715 6598
build-model-states-explored 5452446 6731
build-model-states-explored 5459054 6608
build-model-states-explored 5465858 6804
build-model-states-explored 5472512 6654
build-model-states-explored 5479101 6589
build-model-states-explored 5485691 6590
build-model-states-explored 5492326 6635
build-model-states-explored 5498944 6618
build-model-states-explored 5505747 6803
build-model-states-explored 5512365 6618
build-model-states-explored 5519008 6643
build-model-states-explored 5525606 6598
build-model-states-explored 5531856 6250
build-model-states-explored 5538514 6658
build-model-states-explored 5545311 6797
build-model-states-explored 5547711 2400
build-model-states-explored 5554222 6511
build-model-states-explored 5560988 6766
build-model-states-explored 5567509 6521
build-model-states-explored 5574107 6598
build-model-states-explored 5580825 6718
build-model-states-explored 5587647 6822
build-model-states-explored 5594082 6435
build-model-states-explored 5600982 6900
build-model-states-explored 5607852 6870
build-model-states-explored 5614775 6923
build-model-states-explored 5621689 6914
build-model-states-explored 5628596 6907
build-model-states-explored 5635458 6862
build-model-states-explored 5642326 6868
build-model-states-explored 5649216 6890
build-model-states-explored 5656077 6861
build-model-states-explored 5663023 6946
build-model-states-explored 5669998 6975
build-model-states-explored 5677121 7123
build-model-states-explored 5685405 8284
build-model-states-explored 5693795 8390
build-model-states-explored 5702518 8723
build-model-states-explored 5709323 6805
build-model-states-explored 5716396 7073
build-model-states-explored 5724839 8443
build-model-states-explored 5733328 8489
build-model-states-explored 5740167 6839
build-model-states-explored 5748151 7984
build-model-states-explored 5756156 8005
build-model-states-explored 5763685 7529
build-model-states-explored 5771220 7535
build-model-states-explored 5778754 7534
build-model-states-explored 5785917 7163
build-model-states-explored 5792487 6570
build-model-states-explored 5799349 6862
build-model-states-explored 5806131 6782
build-model-states-explored 5812979 6848
build-model-states-explored 5819810 6831
build-model-states-explored 5826614 6804
build-model-states-explored 5833454 6840
build-model-states-explored 5840320 6866
build-model-states-explored 5847153 6833
build-model-states-explored 5854266 7113
build-model-states-explored 5862807 8541
build-model-states-explored 5870976 8169
build-model-states-explored 5877809 6833
build-model-states-explored 5885843 8034
build-model-states-explored 5893709 7866
build-model-states-explored 5901229 7520
build-model-states-explored 5908741 7512
build-model-states-explored 5916207 7466
build-model-states-explored 5923340 7133
build-model-states-explored 5929963 6623
build-model-states-explored 5936812 6849
build-model-states-explored 5943585 6773
build-model-states-explored 5950440 6855
build-model-states-explored 5957237 6797
build-model-states-explored 5964106 6869
build-model-states-explored 5970902 6796
build-model-states-explored 5979267 8365
build-model-states-explored 5986730 7463
build-model-states-explored 5994586 7856
build-model-states-explored 6001670 7084
build-model-states-explored 6009071 7401
build-model-states-explored 6016142 7071
build-model-states-explored 6022894 6752
build-model-states-explored 6029833 6939
build-model-states-explored 6036849 7016
build-model-states-explored 6043728 6879
build-model-states-explored 6050847 7119
build-model-states-explored 6058699 7852
build-model-states-explored 6066176 7477
build-model-states-explored 6073317 7141
build-model-states-explored 6080152 6835
build-model-states-explored 6087277 7125
build-model-states-explored 6094383 7106
build-model-states-explored 6101915 7532
build-model-states-explored 6108924 7009
build-model-states-explored 6115855 6931
build-model-states-explored 6123241 7386
build-model-states-explored 6130278 7037
build-model-states-explored 6137249 6971
build-model-states-explored 6144579 7330
build-model-states-explored 6151844 7265
build-model-states-explored 6159225 7381
build-model-states-explored 6165499 6274
build-model-states-explored 6171812 6313
build-model-states-explored 6178507 6695
build-model-states-explored 6185212 6705
build-model-states-explored 6191898 6686
build-model-states-explored 6198732 6834
build-model-states-explored 6205302 6570
build-model-states-explored 6211956 6654
build-model-states-explored 6218673 6717
build-model-states-explored 6225551 6878
build-model-states-explored 6232074 6523
build-model-states-explored 6238739 6665
build-model-states-explored 6245527 6788
build-model-states-explored 6252316 6789
build-model-states-explored 6258837 6521
build-model-states-explored 6265484 6647
build-model-states-explored 6272189 6705
build-model-states-explored 6278973 6784
build-model-states-explored 6285563 6590
build-model-states-explored 6292235 6672
build-model-states-explored 6298945 6710
build-model-states-explored 6305791 6846
build-model-states-explored 6312328 6537
build-model-states-explored 6319006 6678
build-model-states-explored 6325633 6627
build-model-states-explored 6332373 6740
build-model-states-explored 6339001 6628
build-model-states-explored 6345766 6765
build-model-states-explored 6352378 6612
build-model-states-explored 6359134 6756
build-model-states-explored 6365792 6658
build-model-states-explored 6372482 6690
build-model-states-explored 6379062 6580
build-model-states-explored 6385664 6602
build-model-states-explored 6392379 6715
build-model-states-explored 6398938 6559
build-model-states-explored 6405676 6738
build-model-states-explored 6412434 6758
build-model-states-explored 6419167 6733
build-model-states-explored 6425981 6814
build-model-states-explored 6432610 6629
build-model-states-explored 6439276 6666
build-model-states-explored 6445864 6588
build-model-states-explored 6452565 6701
build-model-states-explored 6459938 7373
build-model-states-explored 6468217 8279
build-model-states-explored 6475989 7772
build-model-states-explored 6482782 6793
build-model-states-explored 6491090 8308
build-model-states-explored 6498504 7414
build-model-states-explored 6506295 7791
build-model-states-explored 6513378 7083
build-model-states-explored 6520745 7367
build-model-states-explored 6527781 7036
build-model-states-explored 6534361 6580
build-model-states-explored 6541172 6811
build-model-states-explored 6547900 6728
build-model-states-explored 6554679 6779
build-model-states-explored 6561437 6758
build-model-states-explored 6568201 6764
build-model-states-explored 6574954 6753
build-model-states-explored 6583205 8251
build-model-states-explored 6590544 7339
build-model-states-explored 6598312 7768
build-model-states-explored 6605249 6937
build-model-states-explored 6612463 7214
build-model-states-explored 6619444 6981
build-model-states-explored 6626128 6684
build-model-states-explored 6632978 6850
build-model-states-explored 6639825 6847
build-model-states-explored 6646692 6867
build-model-states-explored 6653539 6847
build-model-states-explored 6661477 7938
build-model-states-explored 6668875 7398
build-model-states-explored 6675791 6916
build-model-states-explored 6682543 6752
build-model-states-explored 6689627 7084
build-model-states-explored 6696650 7023
build-model-states-explored 6703792 7142
build-model-states-explored 6711076 7284
build-model-states-explored 6717784 6708
build-model-states-explored 6725010 7226
build-model-states-explored 6732085 7075
build-model-states-explored 6738918 6833
build-model-states-explored 6746182 7264
build-model-states-explored 6753211 7029
build-model-states-explored 6760907 7696
build-model-states-explored 6767077 6170
build-model-states-explored 6773384 6307
build-model-states-explored 6780010 6626
build-model-states-explored 6786746 6736
build-model-states-explored 6793230 6484
build-model-states-explored 6799792 6562
build-model-states-explored 6806465 6673
build-model-states-explored 6809547 3082
build-model-states-explored 6809547 0
build-model-states-explored 6812042 2495
build-model-states-explored 6818966 6924
build-model-states-explored 6825862 6896
build-model-states-explored 6832557 6695
build-model-states-explored 6839363 6806
build-model-states-explored 6846330 6967
build-model-states-explored 6853068 6738
build-model-states-explored 6859899 6831
build-model-states-explored 6866725 6826
build-model-states-explored 6873472 6747
build-model-states-explored 6880355 6883
build-model-states-explored 6887138 6783
build-model-states-explored 6893964 6826
build-model-states-explored 6900895 6931
build-model-states-explored 6907619 6724
build-model-states-explored 6914461 6842
build-model-states-explored 6921383 6922
build-model-states-explored 6928033 6650
build-model-states-explored 6935040 7007
build-model-states-explored 6942005 6965
build-model-states-explored 6948929 6924
build-model-states-explored 6955906 6977
build-model-states-explored 6962814 6908
build-model-states-explored 6970011 7197
build-model-states-explored 6978805 8794
build-model-states-explored 6985782 6977
build-model-states-explored 6994049 8267
build-model-states-explored 7001590 7541
build-model-states-explored 7008763 7173
build-model-states-explored 7015627 6864
build-model-states-explored 7022642 7015
build-model-states-explored 7029705 7063
build-model-states-explored 7036840 7135
build-model-states-explored 7043795 6955
build-model-states-explored 7051956 8161
build-model-states-explored 7059217 7261
build-model-states-explored 7066842 7625
build-model-states-explored 7073828 6986
build-model-states-explored 7080936 7108
build-model-states-explored 7088169 7233
build-model-states-explored 7095199 7030
build-model-states-explored 7102837 7638
build-model-states-explored 7110016 7179
build-model-states-explored 7117323 7307
build-model-states-explored 7124472 7149
build-model-states-explored 7131711 7239
build-model-states-explored 7139194 7483
build-model-states-explored 7146433 7239
build-model-states-explored 7154323 7890
build-model-states-explored 7160795 6472
build-model-states-explored 7167563 6768
build-model-states-explored 7174438 6875
build-model-states-explored 7181315 6877
build-model-states-explored 7188117 6802
build-model-states-explored 7195005 6888
build-model-states-explored 7201813 6808
build-model-states-explored 7208746 6933
build-model-states-explored 7215570 6824
build-model-states-explored 7222462 6892
build-model-states-explored 7229229 6767
build-model-states-explored 7236186 6957
build-model-states-explored 7242882 6696
build-model-states-explored 7249803 6921
build-model-states-explored 7256603 6800
build-model-states-explored 7263398 6795
build-model-states-explored 7270370 6972
build-model-states-explored 7277369 6999
build-model-states-explored 7284419 7050
build-model-states-explored 7291356 6937
build-model-states-explored 7299323 7967
build-model-states-explored 7306523 7200
build-model-states-explored 7314247 7724
build-model-states-explored 7321296 7049
build-model-states-explored 7328239 6943
build-model-states-explored 7335442 7203
build-model-states-explored 7342435 6993
build-model-states-explored 7349991 7556
build-model-states-explored 7357188 7197
build-model-states-explored 7364403 7215
build-model-states-explored 7371581 7178
build-model-states-explored 7378755 7174
build-model-states-explored 7386223 7468
build-model-states-explored 7393215 6992
build-model-states-explored 7400932 7717
build-model-states-explored 7407807 6875
build-model-states-explored 7414780 6973
build-model-states-explored 7421667 6887
build-model-states-explored 7428525 6858
build-model-states-explored 7435389 6864
build-model-states-explored 7442308 6919
build-model-states-explored 7449134 6826
build-model-states-explored 7456044 6910
build-model-states-explored 7462989 6945
build-model-states-explored 7469853 6864
build-model-states-explored 7476723 6870
build-model-states-explored 7483909 7186
build-model-states-explored 7491007 7098
build-model-states-explored 7498578 7571
build-model-states-explored 7505802 7224
build-model-states-explored 7512845 7043
build-model-states-explored 7520190 7345
build-model-states-explored 7527393 7203
build-model-states-explored 7534663 7270
build-model-states-explored 7541752 7089
build-model-states-explored 7549289 7537
build-model-states-explored 7556621 7332
build-model-states-explored 7563639 7018
build-model-states-explored 7570553 6914
build-model-states-explored 7577518 6965
build-model-states-explored 7584481 6963
build-model-states-explored 7591354 6873
build-model-states-explored 7598371 7017
build-model-states-explored 7605776 7405
build-model-states-explored 7612884 7108
build-model-states-explored 7620051 7167
build-model-states-explored 7627313 7262
build-model-states-explored 7634699 7386
build-model-states-explored 7642252 7553
build-model-states-explored 7649234 6982
build-model-states-explored 7656152 6918
build-model-states-explored 7663139 6987
build-model-states-explored 7670512 7373
build-model-states-explored 7677605 7093
build-model-states-explored 7685379 7774
build-model-states-explored 7692371 6992
build-model-states-explored 7699235 6864
build-model-states-explored 7706872 7637
build-model-states-explored 7713985 7113
build-model-states-explored 7721380 7395
build-model-states-explored 7728047 6667
build-model-states-explored 7735014 6967
build-model-states-explored 7742129 7115
build-model-states-explored 7748706 6577
build-model-states-explored 7755728 7022
build-model-states-explored 7762506 6778
build-model-states-explored 7769395 6889
build-model-states-explored 7776338 6943
build-model-states-explored 7783247 6909
build-model-states-explored 7790389 7142
build-model-states-explored 7796726 6337
build-model-states-explored 7803008 6282
build-model-states-explored 7809178 6170
build-model-states-explored 7815360 6182
build-model-states-explored 7822190 6830
build-model-states-explored 7829301 7111
build-model-states-explored 7836062 6761
build-model-states-explored 7843160 7098
build-model-states-explored 7850052 6892
build-model-states-explored 7857142 7090
build-model-states-explored 7864094 6952
build-model-states-explored 7871046 6952
build-model-states-explored 7878125 7079
build-model-states-explored 7884844 6719
build-model-states-explored 7891160 6316
build-model-states-explored 7897519 6359
build-model-states-explored 7903884 6365
build-model-states-explored 7910391 6507
build-model-states-explored 7917618 7227
build-model-states-explored 7925114 7496
build-model-states-explored 7932286 7172
build-model-states-explored 7939729 7443
build-model-states-explored 7947070 7341
build-model-states-explored 7952076 5006
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952076 0
build-model-states-explored 7952767 691
build-model-states-explored 7957941 5174
build-model-states-explored 7965111 7170
build-model-states-explored 7972461 7350
build-model-states-explored 7978713 6252
build-model-states-explored 7984951 6238
build-model-states-explored 7991231 6280
build-model-states-explored 7998235 7004
build-model-states-explored 8005685 7450
build-model-states-explored 8012891 7206
build-model-states-explored 8020217 7326
build-model-states-explored 8027758 7541
build-model-states-explored 8035304 7546
build-model-states-explored 8042074 6770
build-model-states-explored 8048322 6248
build-model-states-explored 8054718 6396
build-model-states-explored 8061925 7207
build-model-states-explored 8069255 7330
build-model-states-explored 8076789 7534
build-model-states-explored 8084384 7595
build-model-states-explored 8091001 6617
build-model-states-explored 8097175 6174
build-model-states-explored 8104059 6884
build-model-states-explored 8111560 7501
build-model-states-explored 8119047 7487
build-model-states-explored 8125686 6639
build-model-states-explored 8131923 6237
build-model-states-explored 8139338 7415
build-model-states-explored 8146790 7452
build-model-states-explored 8152794 6004
build-model-states-explored 8160228 7434
build-model-states-explored 8166771 6543
build-model-states-explored 8173998 7227
build-model-states-explored 8180622 6624
build-model-states-explored 8186885 6263
build-model-states-explored 8193051 6166
build-model-states-explored 8199300 6249
build-model-states-explored 8205609 6309
build-model-states-explored 8211881 6272
build-model-states-explored 8218377 6496
build-model-states-explored 8225532 7155
build-model-states-explored 8232927 7395
build-model-states-explored 8239915 6988
build-model-states-explored 8247190 7275
build-model-states-explored 8254431 7241
build-model-states-explored 8261718 7287
build-model-states-explored 8269178 7460
build-model-states-explored 8276763 7585
build-model-states-explored 8283394 6631
build-model-states-explored 8289614 6220
build-model-states-explored 8295881 6267
build-model-states-explored 8302405 6524
build-model-states-explored 8309664 7259
build-model-states-explored 8316931 7267
build-model-states-explored 8324309 7378
build-model-states-explored 8331637 7328
build-model-states-explored 8339210 7573
build-model-states-explored 8346561 7351
build-model-states-explored 8352863 6302
build-model-states-explored 8359158 6295
build-model-states-explored 8365841 6683
build-model-states-explored 8373206 7365
build-model-states-explored 8380539 7333
build-model-states-explored 8388102 7563
build-model-states-explored 8392276 4174
build-model-states-explored 8397460 5184
build-model-states-explored 8403419 5959
build-model-states-explored 8409932 6513
build-model-states-explored 8417277 7345
build-model-states-explored 8424755 7478
build-model-states-explored 8431866 7111
build-model-states-explored 8437913 6047
build-model-states-explored 8445010 7097
build-model-states-explored 8452493 7483
build-model-states-explored 8458886 6393
build-model-states-explored 8465780 6894
build-model-states-explored 8472852 7072
build-model-states-explored 8479542 6690
build-model-states-explored 8486045 6503
build-model-states-explored 8492834 6789
build-model-states-explored 8498887 6053
build-model-states-explored 8505164 6277
build-model-states-explored 8511360 6196
build-model-states-explored 8517616 6256
build-model-states-explored 8523992 6376
build-model-states-explored 8530921 6929
build-model-states-explored 8538195 7274
build-model-states-explored 8541796 3601
build-model-states-explored 8547340 5544
build-model-states-explored 8554551 7211
build-model-states-explored 8561675 7124
build-model-states-explored 8568968 7293
build-model-states-explored 8576458 7490
build-model-states-explored 8583990 7532
build-model-states-explored 8590786 6796
build-model-states-explored 8596999 6213
build-model-states-explored 8603239 6240
build-model-states-explored 8609657 6418
build-model-states-explored 8616830 7173
build-model-states-explored 8624084 7254
build-model-states-explored 8631500 7416
build-model-states-explored 8638798 7298
build-model-states-explored 8646162 7364
build-model-states-explored 8653755 7593
build-model-states-explored 8660124 6369
build-model-states-explored 8666324 6200
build-model-states-explored 8672862 6538
build-model-states-explored 8680305 7443
build-model-states-explored 8687606 7301
build-model-states-explored 8694925 7319
build-model-states-explored 8702574 7649
build-model-states-explored 8708806 6232
build-model-states-explored 8714954 6148
build-model-states-explored 8722156 7202
build-model-states-explored 8729492 7336
build-model-states-explored 8737069 7577
build-model-states-explored 8743324 6255
build-model-states-explored 8749706 6382
build-model-states-explored 8757133 7427
build-model-states-explored 8764252 7119
build-model-states-explored 8770412 6160
build-model-states-explored 8777920 7508
build-model-states-explored 8784190 6270
build-model-states-explored 8791364 7174
build-model-states-explored 8797937 6573
build-model-states-explored 8804171 6234
build-model-states-explored 8810270 6099
build-model-states-explored 8816560 6290
build-model-states-explored 8822708 6148
build-model-states-explored 8828962 6254
build-model-states-explored 8835428 6466
build-model-states-explored 8842580 7152
build-model-states-explored 8850037 7457
build-model-states-explored 8857082 7045
build-model-states-explored 8864432 7350
build-model-states-explored 8871679 7247
build-model-states-explored 8878974 7295
build-model-states-explored 8886434 7460
build-model-states-explored 8894000 7566
build-model-states-explored 8900486 6486
build-model-states-explored 8906752 6266
build-model-states-explored 8912949 6197
build-model-states-explored 8919417 6468
build-model-states-explored 8926622 7205
build-model-states-explored 8933856 7234
build-model-states-explored 8941162 7306
build-model-states-explored 8948417 7255
build-model-states-explored 8955805 7388
build-model-states-explored 8963253 7448
build-model-states-explored 8969619 6366
build-model-states-explored 8975800 6181
build-model-states-explored 8982330 6530
build-model-states-explored 8989748 7418
build-model-states-explored 8997031 7283
build-model-states-explored 9004363 7332
build-model-states-explored 9011907 7544
build-model-states-explored 9018144 6237
build-model-states-explored 9024253 6109
build-model-states-explored 9031493 7240
build-model-states-explored 9038745 7252
build-model-states-explored 9046305 7560
build-model-states-explored 9052470 6165
build-model-states-explored 9058846 6376
build-model-states-explored 9066253 7407
build-model-states-explored 9073324 7071
build-model-states-explored 9079484 6160
build-model-states-explored 9086957 7473
build-model-states-explored 9093230 6273
build-model-states-explored 9100356 7126
build-model-states-explored 9106954 6598
build-model-states-explored 9113174 6220
build-model-states-explored 9119189 6015
build-model-states-explored 9125465 6276
build-model-states-explored 9131627 6162
build-model-states-explored 9137815 6188
build-model-states-explored 9144181 6366
build-model-states-explored 9151272 7091
build-model-states-explored 9158712 7440
build-model-states-explored 9165661 6949
build-model-states-explored 9173128 7467
build-model-states-explored 9180243 7115
build-model-states-explored 9187506 7263
build-model-states-explored 9195021 7515
build-model-states-explored 9202448 7427
build-model-states-explored 9209148 6700
build-model-states-explored 9215314 6166
build-model-states-explored 9221390 6076
build-model-states-explored 9227793 6403
build-model-states-explored 9234886 7093
build-model-states-explored 9242144 7258
build-model-states-explored 9249520 7376
build-model-states-explored 9256773 7253
build-model-states-explored 9264047 7274
build-model-states-explored 9271671 7624
build-model-states-explored 9277961 6290
build-model-states-explored 9284202 6241
build-model-states-explored 9290624 6422
build-model-states-explored 9297929 7305
build-model-states-explored 9305133 7204
build-model-states-explored 9312499 7366
build-model-states-explored 9320091 7592
build-model-states-explored 9326416 6325
build-model-states-explored 9332539 6123
build-model-states-explored 9339407 6868
build-model-states-explored 9346847 7440
build-model-states-explored 9354300 7453
build-model-states-explored 9360740 6440
build-model-states-explored 9366886 6146
build-model-states-explored 9374176 7290
build-model-states-explored 9381565 7389
build-model-states-explored 9387552 5987
build-model-states-explored 9394792 7240
build-model-states-explored 9401426 6634
build-model-states-explored 9408395 6969
build-model-states-explored 9414770 6375
build-model-states-explored 9421201 6431
build-model-states-explored 9427215 6014
build-model-states-explored 9433431 6216
build-model-states-explored 9439616 6185
build-model-states-explored 9445668 6052
build-model-states-explored 9451997 6329
build-model-states-explored 9458851 6854
build-model-states-explored 9466049 7198
build-model-states-explored 9473182 7133
build-model-states-explored 9480507 7325
build-model-states-explored 9487676 7169
build-model-states-explored 9494934 7258
build-model-states-explored 9502247 7313
build-model-states-explored 9509731 7484
build-model-states-explored 9516907 7176
build-model-states-explored 9523099 6192
build-model-states-explored 9529288 6189
build-model-states-explored 9535359 6071
build-model-states-explored 9542247 6888
build-model-states-explored 9549645 7398
build-model-states-explored 9556657 7012
build-model-states-explored 9563889 7232
build-model-states-explored 9571254 7365
build-model-states-explored 9578748 7494
build-model-states-explored 9585559 6811
build-model-states-explored 9591852 6293
build-model-states-explored 9598002 6150
build-model-states-explored 9604958 6956
build-model-states-explored 9612182 7224
build-model-states-explored 9619474 7292
build-model-states-explored 9626927 7453
build-model-states-explored 9633881 6954
build-model-states-explored 9640068 6187
build-model-states-explored 9646333 6265
build-model-states-explored 9653593 7260
build-model-states-explored 9661016 7423
build-model-states-explored 9668126 7110
build-model-states-explored 9674134 6008
build-model-states-explored 9680935 6801
build-model-states-explored 9688297 7362
build-model-states-explored 9694861 6564
build-model-states-explored 9701314 6453
build-model-states-explored 9708718 7404
build-model-states-explored 9714830 6112
build-model-states-explored 9721708 6878
build-model-states-explored 9728225 6517
build-model-states-explored 9734308 6083
build-model-states-explored 9740429 6121
build-model-states-explored 9746633 6204
build-model-states-explored 9752787 6154
build-model-states-explored 9758783 5996
build-model-states-explored 9765229 6446
build-model-states-explored 9772294 7065
build-model-states-explored 9779654 7360
build-model-states-explored 9786629 6975
build-model-states-explored 9793983 7354
build-model-states-explored 9801074 7091
build-model-states-explored 9808270 7196
build-model-states-explored 9815716 7446
build-model-states-explored 9823132 7416
build-model-states-explored 9829739 6607
build-model-states-explored 9835882 6143
build-model-states-explored 9842032 6150
build-model-states-explored 9848256 6224
build-model-states-explored 9855249 6993
build-model-states-explored 9862453 7204
build-model-states-explored 9869789 7336
build-model-states-explored 9876922 7133
build-model-states-explored 9884188 7266
build-model-states-explored 9891728 7540
build-model-states-explored 9898069 6341
build-model-states-explored 9904383 6314
build-model-states-explored 9910643 6260
build-model-states-explored 9917736 7093
build-model-states-explored 9924882 7146
build-model-states-explored 9932253 7371
build-model-states-explored 9939687 7434
build-model-states-explored 9946165 6478
build-model-states-explored 9952313 6148
build-model-states-explored 9958842 6529
build-model-states-explored 9966100 7258
build-model-states-explored 9973602 7502
build-model-states-explored 9980242 6640
build-model-states-explored 9986219 5977
build-model-states-explored 9993256 7037
build-model-states-explored 10000627 7371
build-model-states-explored 10006877 6250
build-model-states-explored 10013594 6717
build-model-states-explored 10020627 7033
build-model-states-explored 10027044 6417
build-model-states-explored 10033497 6453
build-model-states-explored 10039943 6446
build-model-states-explored 10046042 6099
build-model-states-explored 10052137 6095
build-model-states-explored 10058347 6210
build-model-states-explored 10064507 6160
build-model-states-explored 10070625 6118
build-model-states-explored 10076837 6212
build-model-states-explored 10083891 7054
build-model-states-explored 10091219 7328
build-model-states-explored 10098171 6952
build-model-states-explored 10105457 7286
build-model-states-explored 10112541 7084
build-model-states-explored 10119708 7167
build-model-states-explored 10127067 7359
build-model-states-explored 10134534 7467
build-model-states-explored 10140978 6444
build-model-states-explored 10147098 6120
build-model-states-explored 10153180 6082
build-model-states-explored 10159380 6200
build-model-states-explored 10166353 6973
build-model-states-explored 10173541 7188
build-model-states-explored 10180844 7303
build-model-states-explored 10187910 7066
build-model-states-explored 10195176 7266
build-model-states-explored 10202704 7528
build-model-states-explored 10209033 6329
build-model-states-explored 10215304 6271
build-model-states-explored 10221519 6215
build-model-states-explored 10228555 7036
build-model-states-explored 10235701 7146
build-model-states-explored 10243102 7401
build-model-states-explored 10250419 7317
build-model-states-explored 10257011 6592
build-model-states-explored 10263121 6110
build-model-states-explored 10269338 6217
build-model-states-explored 10276327 6989
build-model-states-explored 10283586 7259
build-model-states-explored 10290480 6894
build-model-states-explored 10296470 5990
build-model-states-explored 10303157 6687
build-model-states-explored 10310406 7249
build-model-states-explored 10316899 6493
build-model-states-explored 10323227 6328
build-model-states-explored 10330612 7385
build-model-states-explored 10336604 5992
build-model-states-explored 10343478 6874
build-model-states-explored 10349935 6457
build-model-states-explored 10356030 6095
build-model-states-explored 10362020 5990
build-model-states-explored 10368753 6733
build-model-states-explored 10375605 6852
build-model-states-explored 10382037 6432
build-model-states-explored 10388930 6893
build-model-states-explored 10395770 6840
build-model-states-explored 10402486 6716
build-model-states-explored 10409486 7000
build-model-states-explored 10416404 6918
build-model-states-explored 10423447 7043
build-model-states-explored 10430335 6888
build-model-states-explored 10437394 7059
build-model-states-explored 10444435 7041
build-model-states-explored 10451776 7341
build-model-states-explored 10458906 7130
build-model-states-explored 10465628 6722
build-model-states-explored 10472656 7028
build-model-states-explored 10479645 6989
build-model-states-explored 10486767 7122
build-model-states-explored 10493792 7025
build-model-states-explored 10500908 7116
build-model-states-explored 10508030 7122
build-model-states-explored 10515420 7390
build-model-states-explored 10522601 7181
build-model-states-explored 10529314 6713
build-model-states-explored 10536317 7003
build-model-states-explored 10543282 6965
build-model-states-explored 10550398 7116
build-model-states-explored 10557393 6995
build-model-states-explored 10564498 7105
build-model-states-explored 10571599 7101
build-model-states-explored 10578970 7371
build-model-states-explored 10586133 7163
build-model-states-explored 10592834 6701
build-model-states-explored 10599819 6985
build-model-states-explored 10606775 6956
build-model-states-explored 10613885 7110
build-model-states-explored 10620879 6994
build-model-states-explored 10627960 7081
build-model-states-explored 10635054 7094
build-model-states-explored 10642410 7356
build-model-states-explored 10649563 7153
build-model-states-explored 10656208 6645
build-model-states-explored 10663159 6951
build-model-states-explored 10670093 6934
build-model-states-explored 10677133 7040
build-model-states-explored 10684081 6948
build-model-states-explored 10691157 7076
build-model-states-explored 10698204 7047
build-model-states-explored 10705410 7206
build-model-states-explored 10712655 7245
build-model-states-explored 10719262 6607
build-model-states-explored 10726235 6973
build-model-states-explored 10733254 7019
build-model-states-explored 10740269 7015
build-model-states-explored 10747288 7019
build-model-states-explored 10754409 7121
build-model-states-explored 10761483 7074
build-model-states-explored 10768692 7209
build-model-states-explored 10775997 7305
build-model-states-explored 10782548 6551
build-model-states-explored 10789509 6961
build-model-states-explored 10796549 7040
build-model-states-explored 10803556 7007
build-model-states-explored 10810541 6985
build-model-states-explored 10817694 7153
build-model-states-explored 10824748 7054
build-model-states-explored 10831895 7147
build-model-states-explored 10839248 7353
build-model-states-explored 10845775 6527
build-model-states-explored 10852758 6983
build-model-states-explored 10859843 7085
build-model-states-explored 10866794 6951
build-model-states-explored 10873758 6964
build-model-states-explored 10880942 7184
build-model-states-explored 10887986 7044
build-model-states-explored 10895073 7087
build-model-states-explored 10902477 7404
build-model-states-explored 10908853 6376
build-model-states-explored 10915866 7013
build-model-states-explored 10922934 7068
build-model-states-explored 10930059 7125
build-model-states-explored 10937255 7196
build-model-states-explored 10944155 6900
build-model-states-explored 10951302 7147
build-model-states-explored 10958251 6949
build-model-states-explored 10965462 7211
build-model-states-explored 10972421 6959
build-model-states-explored 10979581 7160
build-model-states-explored 10986605 7024
build-model-states-explored 10993728 7123
build-model-states-explored 11000794 7066
build-model-states-explored 11007888 7094
build-model-states-explored 11014996 7108
build-model-states-explored 11022303 7307
build-model-states-explored 11029693 7390
build-model-states-explored 11037061 7368
build-model-states-explored 11045085 8024
build-model-states-explored 11053528 8443
build-model-states-explored 11062066 8538
build-model-states-explored 11070760 8694
build-model-states-explored 11079657 8897
build-model-states-explored 11086908 7251
build-model-states-explored 11094158 7250
build-model-states-explored 11101550 7392
build-model-states-explored 11110049 8499
build-model-states-explored 11118633 8584
build-model-states-explored 11127565 8932
build-model-states-explored 11134881 7316
build-model-states-explored 11141991 7110
build-model-states-explored 11150312 8321
build-model-states-explored 11159059 8747
build-model-states-explored 11166805 7746
build-model-states-explored 11173971 7166
build-model-states-explored 11182782 8811
build-model-states-explored 11190623 7841
build-model-states-explored 11192529 1906
build-model-states-explored 11192529 0
build-model-states-explored 11197650 5121
build-model-states-explored 11205578 7928
build-model-states-explored 11213584 8006
build-model-states-explored 11220903 7319
build-model-states-explored 11228204 7301
build-model-states-explored 11234887 6683
build-model-states-explored 11242142 7255
build-model-states-explored 11249498 7356
build-model-states-explored 11256881 7383
build-model-states-explored 11264257 7376
build-model-states-explored 11271555 7298
build-model-states-explored 11278922 7367
build-model-states-explored 11286330 7408
build-model-states-explored 11293705 7375
build-model-states-explored 11301020 7315
build-model-states-explored 11308332 7312
build-model-states-explored 11315659 7327
build-model-states-explored 11322959 7300
build-model-states-explored 11330352 7393
build-model-states-explored 11338946 8594
build-model-states-explored 11347545 8599
build-model-states-explored 11356512 8967
build-model-states-explored 11364079 7567
build-model-states-explored 11371308 7229
build-model-states-explored 11379455 8147
build-model-states-explored 11388302 8847
build-model-states-explored 11396366 8064
build-model-states-explored 11403625 7259
build-model-states-explored 11412360 8735
build-model-states-explored 11420386 8026
build-model-states-explored 11428270 7884
build-model-states-explored 11436272 8002
build-model-states-explored 11444201 7929
build-model-states-explored 11451636 7435
build-model-states-explored 11458859 7223
build-model-states-explored 11465758 6899
build-model-states-explored 11473097 7339
build-model-states-explored 11480426 7329
build-model-states-explored 11487733 7307
build-model-states-explored 11495046 7313
build-model-states-explored 11502350 7304
build-model-states-explored 11509670 7320
build-model-states-explored 11516968 7298
build-model-states-explored 11524206 7238
build-model-states-explored 11531361 7155
build-model-states-explored 11539744 8383
build-model-states-explored 11548554 8810
build-model-states-explored 11556318 7764
build-model-states-explored 11563541 7223
build-model-states-explored 11572383 8842
build-model-states-explored 11580233 7850
build-model-states-explored 11588185 7952
build-model-states-explored 11596059 7874
build-model-states-explored 11603926 7867
build-model-states-explored 11611342 7416
build-model-states-explored 11618583 7241
build-model-states-explored 11625632 7049
build-model-states-explored 11633021 7389
build-model-states-explored 11640357 7336
build-model-states-explored 11647753 7396
build-model-states-explored 11655077 7324
build-model-states-explored 11662418 7341
build-model-states-explored 11669572 7154
build-model-states-explored 11677858 8286
build-model-states-explored 11686132 8274
build-model-states-explored 11693451 7319
build-model-states-explored 11701784 8333
build-model-states-explored 11709635 7851
build-model-states-explored 11717057 7422
build-model-states-explored 11724250 7193
build-model-states-explored 11731415 7165
build-model-states-explored 11738897 7482
build-model-states-explored 11746377 7480
build-model-states-explored 11753837 7460
build-model-states-explored 11761095 7258
build-model-states-explored 11769468 8373
build-model-states-explored 11776862 7394
build-model-states-explored 11784732 7870
build-model-states-explored 11792145 7413
build-model-states-explored 11799450 7305
build-model-states-explored 11807359 7909
build-model-states-explored 11815144 7785
build-model-states-explored 11822525 7381
build-model-states-explored 11830306 7781
build-model-states-explored 11837831 7525
build-model-states-explored 11845382 7551
build-model-states-explored 11853506 8124
build-model-states-explored 11860910 7404
build-model-states-explored 11868319 7409
build-model-states-explored 11876561 8242
build-model-states-explored 11883836 7275
build-model-states-explored 11892035 8199
build-model-states-explored 11900067 8032
build-model-states-explored 11906709 6642
build-model-states-explored 11913347 6638
build-model-states-explored 11920014 6667
build-model-states-explored 11926886 6872
build-model-states-explored 11933715 6829
build-model-states-explored 11940783 7068
build-model-states-explored 11947715 6932
build-model-states-explored 11954715 7000
build-model-states-explored 11961926 7211
build-model-states-explored 11969218 7292
build-model-states-explored 11975999 6781
build-model-states-explored 11983028 7029
build-model-states-explored 11989954 6926
build-model-states-explored 11996991 7037
build-model-states-explored 12004032 7041
build-model-states-explored 12011356 7324
build-model-states-explored 12018503 7147
build-model-states-explored 12025265 6762
build-model-states-explored 12032308 7043
build-model-states-explored 12039190 6882
build-model-states-explored 12046166 6976
build-model-states-explored 12053293 7127
build-model-states-explored 12060563 7270
build-model-states-explored 12067432 6869
build-model-states-explored 12074299 6867
build-model-states-explored 12081213 6914
build-model-states-explored 12088209 6996
build-model-states-explored 12095184 6975
build-model-states-explored 12102245 7061
build-model-states-explored 12109532 7287
build-model-states-explored 12116171 6639
build-model-states-explored 12123280 7109
build-model-states-explored 12129995 6715
build-model-states-explored 12136924 6929
build-model-states-explored 12143980 7056
build-model-states-explored 12151198 7218
build-model-states-explored 12158240 7042
build-model-states-explored 12165006 6766
build-model-states-explored 12171974 6968
build-model-states-explored 12178936 6962
build-model-states-explored 12185808 6872
build-model-states-explored 12192939 7131
build-model-states-explored 12200201 7262
build-model-states-explored 12206908 6707
build-model-states-explored 12213885 6977
build-model-states-explored 12220723 6838
build-model-states-explored 12227680 6957
build-model-states-explored 12234657 6977
build-model-states-explored 12241936 7279
build-model-states-explored 12249021 7085
build-model-states-explored 12255734 6713
build-model-states-explored 12262824 7090
build-model-states-explored 12269658 6834
build-model-states-explored 12276569 6911
build-model-states-explored 12283623 7054
build-model-states-explored 12290889 7266
build-model-states-explored 12297609 6720
build-model-states-explored 12304395 6786
build-model-states-explored 12311681 7286
build-model-states-explored 12318831 7150
build-model-states-explored 12326101 7270
build-model-states-explored 12333338 7237
build-model-states-explored 12340598 7260
build-model-states-explored 12347783 7185
build-model-states-explored 12355009 7226
build-model-states-explored 12362272 7263
build-model-states-explored 12369568 7296
build-model-states-explored 12376692 7124
build-model-states-explored 12383857 7165
build-model-states-explored 12390970 7113
build-model-states-explored 12398331 7361
build-model-states-explored 12406775 8444
build-model-states-explored 12415247 8472
build-model-states-explored 12424087 8840
build-model-states-explored 12431300 7213
build-model-states-explored 12438211 6911
build-model-states-explored 12446043 7832
build-model-states-explored 12454701 8658
build-model-states-explored 12462639 7938
build-model-states-explored 12469746 7107
build-model-states-explored 12478043 8297
build-model-states-explored 12486247 8204
build-model-states-explored 12493665 7418
build-model-states-explored 12501902 8237
build-model-states-explored 12509719 7817
build-model-states-explored 12517039 7320
build-model-states-explored 12524314 7275
build-model-states-explored 12530939 6625
build-model-states-explored 12538196 7257
build-model-states-explored 12545386 7190
build-model-states-explored 12552606 7220
build-model-states-explored 12559768 7162
build-model-states-explored 12566971 7203
build-model-states-explored 12574152 7181
build-model-states-explored 12581334 7182
build-model-states-explored 12588440 7106
build-model-states-explored 12595508 7068
build-model-states-explored 12602999 7491
build-model-states-explored 12611675 8676
build-model-states-explored 12620062 8387
build-model-states-explored 12626950 6888
build-model-states-explored 12628559 1609
build-model-states-explored 12633917 5358
build-model-states-explored 12641003 7086
build-model-states-explored 12648136 7133
build-model-states-explored 12655981 7845
build-model-states-explored 12663661 7680
build-model-states-explored 12671413 7752
build-model-states-explored 12678713 7300
build-model-states-explored 12685834 7121
build-model-states-explored 12692930 7096
build-model-states-explored 12700145 7215
build-model-states-explored 12707410 7265
build-model-states-explored 12714688 7278
build-model-states-explored 12721912 7224
build-model-states-explored 12729173 7261
build-model-states-explored 12736242 7069
build-model-states-explored 12744385 8143
build-model-states-explored 12752627 8242
build-model-states-explored 12759856 7229
build-model-states-explored 12768150 8294
build-model-states-explored 12775771 7621
build-model-states-explored 12783319 7548
build-model-states-explored 12790379 7060
build-model-states-explored 12797392 7013
build-model-states-explored 12804928 7536
build-model-states-explored 12812366 7438
build-model-states-explored 12819795 7429
build-model-states-explored 12826999 7204
build-model-states-explored 12835197 8198
build-model-states-explored 12842632 7435


----------
Computation aborted after 1800.2291057109833 seconds since the total time limit of 1800 seconds was exceeded.